in a high school swimpool